This is a search engine friendly export of a TiddlyWiki. Please click
here
for the actual site.
Bash History
Remove duplicate entries from bash history file:
Add to ~/.bashrc:
{{{export HISTIGNORE="&"}}}